• Conference Object  

      Adaptive probabilistic flooding for Information Hovering in VANETs 

      Xeros, Andreas; Lestas, Marios; Andreou, Maria I.; Pitsillides, Andreas (2010)
      Information Hovering applies in many applications in Vehicular Ad Hoc Networks, where useful information needs to be made available to all vehicles within a confined geographical area for a specific time interval. A ...
    • Article  

      A process calculus for dynamic networks 

      Kouzapas, D.; Philippou, Anna (2011)
      In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
    • Conference Object  

      Real-time graph visualization tool for vehicular ad-hoc networks: (VIVAGr: VIsualization tool of VAnet Graphs in real-time) 

      Spanakis, E.; Efstathiades, Christodoulos; Pallis, George C.; Dikaiakos, Marios D. (2011)
      In this work we describe VIVAGr, a graphical-oriented real time visualization tool for vehicular ad-hoc network connectivity graphs. This tool enables the effective synthesis of structural, topological, and dynamic ...
    • Conference Object  

      Stochastic channel modeling for ad hoc wireless networks 

      Olama, M. M.; Djouadi, S. M.; Charalambous, Charalambos D. (2006)
      Due to nodes mobility and environmental changes in mobile ad hoc networks, the ad hoc channel is time varying and subject to fading. As a consequence of these variations, the statistical characteristics of the received ...